Case - Based Planning in Transaction Logic Framework
نویسندگان
چکیده
This work stands out the use of Transaction Logic (TR) in case-based planning. The TR provides a correct and complete logical theory based planner that can be computationally implemented keeping the formal theory semantic. The TR is efficient on states treatment besides to create a retriever and cases adaptation easier than others formalized systems. Transaction Logic provides a clean fashion in knowledge representation and its semantic based on path of states is next to planning necessities, making possible the formalization of whole case-based planning system without the existence of the semantic gap between theory and implementation. Copyright © 1998 IFAC
منابع مشابه
Using the Component Model of Sustainable Landscape for the Quality Assessment of Urban Natural Public Spaces: A Case Study from Tehran’s River-valleys
Ecological destruction in human-dominated landscapes has significant impacts on environment sustainability internationally. Landscape planning can play a role in mitigating the effects of human-related activities. One element of landscape planning involves the analysis of the biological, spatial and social arrangement of areas in an urban environment and identifying characteristics that are und...
متن کاملTransaction Logic with Defaults and Argumentation Theories
Transaction Logic (abbr., T R) [9,12] is a logic that gracefully integrates both declarative and procedural knowledge. It has proved itself as a powerful logic language for many advanced applications, including actions specification and planning in AI. In a parallel development, much work has been devoted to various theories of defeasible reasoning [19]. In this paper, we unify these two stream...
متن کاملApproaching the Plans are Programs Paradigm Using Transaction Logic
Transaction logic (T R) is a formalism that accounts for the speciication and execution of update phenomena in arbitrary logical theory , specially logic programs and databases. In fact, from a theoretical standpoint, the planning activity could be seen as such a kind of phenomenon , where the execution of plan actions update a world model. This paper presents how a planning process can be spec...
متن کاملA Logical Framework for Scheduling Workflows under Resource Allocation Constraints
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an enterprise. Scheduling of workflows is a problem of finding a correct execution sequence for the workflow tasks, i.e., execution that obeys the constraints that embody the business logic of the workflow. Research on wo...
متن کاملDesign of An Intelligent Model for Strategic Planning in Mineral Holding: Case study, Shahab-Sang Holding
Business logic is one of the most important logics based on the decision matrix. However, using this logic alone and environmental uncertainty leads to problems such as low accuracy and integrity in strategic planning. In this work, we use an intelligent model based on the neural-fuzzy approach aiming at a desired decision-making and reducing the uncertainty in the strategic planning in mineral...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001